A Uniform Terminology for C++ Concepts
نویسندگان
چکیده
The purpose of this note is to specify a uniform terminology for the design and implementation of concepts for C++, based on influential literature on generic programming with concepts. The terminology results from an ongoing work in specifying an infrastructure for implementing C++ concepts, called ConceptClang. We solicit feedback and hope that the terminology will facilitate conversations about C++ concepts as efforts in language support for the feature in question evolve. In this specification, we define each term with an explanation of the rationale behind it, especially when it may conflict with existing terminology, and relate it to ongoing design and implementation efforts. The process highlights key components of the concepts feature and their diverse relationships with either structural or named conformances for matching types to concepts.
منابع مشابه
A suggested Motivational Method for Teaching Scientific Terminology, With a Practical Example
Using a reductionist approach, the motivational method for teaching scientific terminology aims at breaking down terms and their definitions into separate components, i.e. morphemes and their semantic features, rather than establishing a connection between terms and their definitions as holistic units. In other words, the ultimate goal of this method is achieving “semantic motivation,” (as oppo...
متن کاملطراحی سامانه نیمهخودکار ساخت هستیشناسی بهکمک تحلیل همرخدادی واژگان و روش C-value (مطالعه موردی: حوزه علمسنجی ایران)
Ontology is one of formal concepts and the relations in the specific regions.It have recently tried to design the learning, automatic methods of Ontology. Whereas Ontology containing concepts and the relations, exploiting concepts, the semantic relations among concept. The various Ontology of regions and different applications are expensive processes that are automatic.The lack of main knowledg...
متن کاملA Theoretical Review of Disaster’s Social Terminology
Background and Aim: Using common terms and synonyms, such as concepts related to natural crisis managements, is one of the major challenges in interdisciplinary topics; which are apparently similar but have different meanings and practical implications. “Natural disaster” is one of these terms. The main purpose of this study is to describe the common and professional term in science and creatin...
متن کامل"Turn laterally to the left!". The need for uniform C-arm communication terminology during orthopaedic trauma surgery.
To avoid disturbed teamwork, unnecessary radiation exposure, and procedural delays, we designed and tested a uniform communication language for use in fluoroscopy-assisted surgical procedures. Input of surgeons and radiographers was used to create a set of commands. The potential benefit of this terminology was explored in an experimental setting. There was a tremendous diversity in the current...
متن کاملChecking Models, Proving Programs, and Testing Systems
We are all faced up to a flowering of concepts and methods in the area of software verification and validation, due to significant advances in the domain. This paper considers the main terms and expressions currently in use on the subjects of model, specification, program, system, proof, checking, testing. Some analysis of the use and combination of these terms is sketched, pointing out some co...
متن کامل